Fix get_page_type() when passed PGT_va_mutable.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 28 Mar 2006 20:21:26 +0000 (21:21 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 28 Mar 2006 20:21:26 +0000 (21:21 +0100)
commit57f82067cf679f7e3fa2d5d37fbaa233ff4cebcf
treed196619d7c3fe3a31946742c885fc86ab969af9b
parentfd8719a93192f01e88303d3b5f42619aa04fed90
Fix get_page_type() when passed PGT_va_mutable.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c